Property Orientation in the Model
نویسندگان
چکیده
Formal development methods can be divided into property oriented and model oriented approaches. The Vienna Development Method (VDM) is model oriented in the sense that systems are modelled by means of predeened mathematical objects like sets, sequences and nite mappings. However, property oriented speciication techniques claim to have several advantages, such as to result in more abstract system descriptions. In this paper an integration of a property oriented specii-cation style into VDM is presented. It is demonstrated that property oriented descriptions come for free, without the need for changing the ISO standardised VDM-speciication language (VDM-SL). Only minor changes for syntactic sugar are proposed. Combining the two paradigms results in several new applications in the area of reenement. Examples serve to demonstrate the general applicability of the techniques.
منابع مشابه
The investigation of efficiency of religious orientation model in predicting flow experience in physical education students
The primary aim of the present article is to analyze the efficiency of religious orientation in predicting flow experience of physical education students based on demographic variables. Also, the role of demographic variables was taken into account as the secondary aim of the study. 200 physical education students of the University of Isfahan were chosen randomly. They answered Religious Orient...
متن کاملDesigning Export Performance Model based on Organizational Orientations
This study extends prior researches by exploring the effect of organizational orientations on export performance. Building on the already extensive literature, we developed a model of relationship. A total of 120 usable questionnaires were received from the Iranian food industry SMEs. The results indicated that entrepreneurial orientation, market orientation and learning orientation positively ...
متن کاملDeveloping the strategic orientation of Jask Port using the SWOT model
Background and Objectives: In recent years, due to the strategic importance of Makran coastal zone and new economic approaches for this region, eastern coasts have been identified as development points in the country’s geography and Jask port is turned to be one the most suitable points for economic and commercial activities in this region. In the present paper, the strengths, weaknesses, thre...
متن کاملبرررسی تأثیر فرهنگ سازمانی بر گرایش کارآفرینی سازمانی در بانک کارآفرین
Entrepreneurship has become undeniably important in today’s economy. In ever-increasing researches undertaken in entrepreneurial area, more and more emphasis is being put on injecting entrepreneurial spirit in organizational infrastructures and harmonizing the organizations to business environment. Entrepreneurial orientation is a much ignored sub-field of entrepreneurship. This research mainly...
متن کاملThe model of strategic management of HR competency The mediating role of competency approach related to organizational strategic orientation and human resource management system
This study intends to propose a modern model in the field of human resources (HR) strategic management through designing human resources&rsquo competence framework. Based on this strategic orientation of organization on human resources management system has been investigated considering the mediating role of competence approach in Central Bank of the Islamic Republic of Iran. In order to implem...
متن کاملتأثیر حقوق مالکیت در رشد اقتصادی کشورهای در حال توسعه (زمینهها و موانع)
Property is a tangible or intangible asset owned by an individual or jointly by a group of people. Due to the nature of the property, the owner has the right to consume, sell, rent, mortgage, transfer, and swap or even to destroy his/her property. The owner also has the right to prohibit others from using it. Property rights related to assets are the rights formulated in relation to the propert...
متن کامل